\chapter{\RU{Примеры из практики}\EN{Case studies}\DE{Beispiele aus der Praxis}}

%\clearpage
\begin{center}
\vspace*{\fill}

\begin{figure}[H]
\centering
\myincludegraphics{cover4.jpg}
\end{figure}

\vspace*{\fill}
\end{center}

\clearpage

% sections here
\EN{\input{examples/taskmgr/main_EN}}\RU{\input{examples/taskmgr/main_RU}}
\EN{\input{examples/lines/main_EN}}\RU{\input{examples/lines/main_RU}}
\EN{\input{examples/minesweeper/main_EN}}\RU{\input{examples/minesweeper/main_RU}}
\EN{\input{examples/timedate/main_EN}}\RU{\input{examples/timedate/main_RU}}
\input{examples/dongles/main}
\EN{\input{examples/qr9/qr9_EN}}\RU{\input{examples/qr9/qr9_RU}}
\EN{\input{examples/encrypted_DB1/main_EN}}
\EN{\input{examples/bitcoin_miner/main_EN}}\RU{\input{examples/bitcoin_miner/main_RU}}
\EN{\input{examples/simple_exec_crypto/main_EN}}
\input{examples/SAP/main}
\input{examples/oracle/main}
\EN{\input{examples/handcoding/main_EN}}\RU{\input{examples/handcoding/main_RU}}
\input{examples/demos/main}
\RU{\input{examples/marriage/main_RU}}

\section{\EN{Other examples}\RU{Другие примеры}}

\RU{Здесь также был пример с Z3 и ручной декомпиляцией.}
\EN{An example about Z3 and manual decompilation was here.}
\RU{Он (временно) перемещен сюда:}
\EN{It is (temporarily) moved there:}
\url{http://yurichev.com/tmp/SAT_SMT_DRAFT.pdf}.


